Näytetään tulokset 1 - 10 / 1900
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Facets of Distribution Identities in Probabilistic Team Semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-19570-0_20
Hannula, Miika; Hirvonen, Åsa; Kontinen, Juha; Kulikov, Vadim; Virtema, Jonni
Lecture notes in computer science2019 Julkaisujen tiedon ikoni

Logics with Probabilistic Team Semantics and the Boolean Negation

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-43619-2_45
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Virtema, Jonni
Lecture Notes in Computer Science2023 Julkaisujen tiedon ikoni

Probabilistic Team Semantics

Vertaisarvioitu
DOI
10.1007/978-3-319-90050-6_11
Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni
Lecture Notes in Computer Science2018 Julkaisujen tiedon ikoni

Continuous Team Semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-14812-6
Hirvonen, Åsa; Kontinen, Juha; Pauly, Arno
Lecture Notes in Computer Science2019 Julkaisujen tiedon ikoni

Expressivity and Complexity in Probabilistic Team Semantics

Avoin saatavuus
Hirvonen, Minna
Dissertationes Universitatis Helsingiensis2024 Julkaisujen tiedon ikoni

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103108
Hannula, Miika; Virtema, Jonni
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

Team Semantics for Interventionist Counterfactuals:Observations vs. Interventions

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s10992-020-09573-6
Barbero, Fausto; Sandu, Gabriel
Journal of Philosophical Logic2021 Julkaisujen tiedon ikoni

Dimension in team semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1017/S0960129524000021
Hella, Lauri; Luosto, Kerkko; Väänänen, Jouko;
Mathematical structures in computer science2024 Julkaisujen tiedon ikoni

Compactness in team semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1002/malq.202200072
Puljujärvi, Joni; Quadrellaro, Davide Emilio
Mathematical Logic Quarterly2024 Julkaisujen tiedon ikoni

Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-75775-5_18
Hannula, Miika; Virtema, Jonni Taneli
Lecture Notes in Computer Science2021

Facets of Distribution Identities in Probabilistic Team Semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-19570-0_20
2019

Logics with Probabilistic Team Semantics and the Boolean Negation

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-43619-2_45
2023

Probabilistic Team Semantics

Vertaisarvioitu
DOI
10.1007/978-3-319-90050-6_11
2018

Continuous Team Semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-14812-6
2019

Expressivity and Complexity in Probabilistic Team Semantics

Avoin saatavuus
2024

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103108
2022

Team Semantics for Interventionist Counterfactuals:Observations vs. Interventions

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s10992-020-09573-6
2021

Dimension in team semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1017/S0960129524000021
2024

Compactness in team semantics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1002/malq.202200072
2024

Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-75775-5_18
2021